- 具型式之 λ 演算
- simply typed lambda calculus: 簡單類型 lambda 演算; 簡單類型lambda演算
- typed lambda calculus: 有類型 lambda 演算; 有類型lambda演算
- lambda calculus: lambda可定義函數(shù); Λ-遞歸函數(shù); Λ演算; λ演算; 無類型 lambda 演算; 無類型lambda演算; 演算
- normalization property (lambda-calculus): 規(guī)范化性質(zhì)
- typed: 打字; 類型化的
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯